Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
311	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind
312	Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer` Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Abstract data types Priority queue Queue Sequence Stack Permutation Collection Double-ended queue Relaxation
313	Microsoft Word - AC_2012_Bereuter_Weibel_fv.docx Add to Reading List Source URL: www.cartogis.org Language: English - Date: 2012-11-06 14:46:30 Quadtree Data types Cartographic generalization Generalization B-tree Tree Level of detail Z-order curve
314	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Data types Symbolic execution Pointer Array data structure Array data type Bit array Type system Concolic testing
315	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression
316	Algorithms and Data Structures Winter TermExercises for Unit 16 & 17 1. Show the following simple facts about a binomial tree of rank k. a) The tree has 2k nodes. Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-09 08:07:30 Abstract data types Binomial heap Fibonacci heap Heap Amortized analysis Queue Data structures Priority queues Weak heap Shadow heap
317	Motivation Context Encoding Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Type theory Data types Procedural programming languages Polymorphism Cross-platform software Subtyping Type system Go -calculus System F ALGOL 68 Cons
318	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Functional programming Data types Subroutines Programming idioms Object Anonymous function Immutable object This Constructor Recursion Const Monad
319	Perfect Phylogeny and Haplotype Assignment Eran Halperin∗ Richard M. Karp† September 29, 2003 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2009-01-01 08:42:52 Population genetics Genetic genealogy Haplotype Knowledge representation Data types Perfect phylogeny Tree Haplotype estimation
320	More concurrency issues and synchronization mechanisms • DEADLOCK • READERS/WRITER LOCKS • CONDITION VARIABLES Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-11-24 06:45:41 Concurrency control Abstract data types Monitor Software design patterns Concurrency Concurrent computing Double-ended queue Queue Lock Synchronization Thread

UPDATE